@main def Test = testSubst
